Klee Irwin

نویسنده

  • Sergiu I. Vacaru
چکیده

Heterotic supergravity with (1+3)–dimensional domain wall configurations and (warped) internal, six dimensional, almost-Kähler manifolds X are studied. Considering on ten dimensional spacetime, nonholonomic distributions with conventional double fibrations, 2+2+...=2+2+3+3, and associated SU(3) structures on internal space, we generalize for real, internal, almost symplectic gravitational structures the constructions with gravitational and gauge instantons of tanh-kink type [1, 2]. They include the first α corrections to the heterotic supergravity action, parameterized in a form to imply nonholonomic deformations of the Yang-Mills sector and corresponding Bianchi identities. We show how it is possible to construct a variety of solutions, depending on the type of nonholonomic distributions and deformations of ’prime’ instanton configurations characterized by two real supercharges. This corresponds to N = 1/2 supersymmetric, nonholonomic manifolds from the four dimensional point of view. Our method provides a unified description of embedding nonholonomically deformed tanh-kink-type instantons into half-BPS solutions of heterotic supergravity. This allows us to elaborate new geometric methods of constructing exact solutions of motion equations, with first order α corrections to the heterotic supergravity. Such a formalism is applied for general and/or warped almost-Kähler configurations, which allows us to generate nontrivial (1+3)-d domain walls. This formalism is utilized in our associated publication [3] in order to construct and study generic off-diagonal nonholonomic deformations of the Kerr metric, encoding contributions from heterotic supergravity.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Code Theoretic Axiom

A logical physical ontology is code theory, wherein reality is neither deterministic nor random. In light of Conway and Kochen’s free will theorem [1] and strong free will theorem [2], we discuss the plausibility of a third axiomatic option geometric language; the code theoretic axiom. We suggest freewill choices at the syntactically free steps of a geometric language of spacetime form the code...

متن کامل

Off-diagonal deformations of Kerr metrics and black ellipsoids in heterotic supergravity

Geometric methods for constructing exact solutions of equations of motion with first order α′ corrections to the heterotic supergravity action implying a nontrivial Yang–Mills sector and six-dimensional, 6-d, almostKähler internal spaces are studied. In 10-d spacetimes, general parametrizations for generic off-diagonal metrics, nonlinear and linear connections, and matter sources, when the equa...

متن کامل

A bound on the number of perfect matchings in Klee-graphs

We focus on a specific class of planar cubic bridgeless graphs, namely the klee-graphs. K4 is the smallest klee-graph and having a klee-graph G we create another klee-graph by replacing any vertex of G by a triangle, i.e., applying Y∆ operation. In this paper, we prove that every klee-graph with n ≥ 8 vertices has at least 3 · 2 perfect matchings, improving the 2 bound inherited from the genera...

متن کامل

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive programs. We used KLEE to thoroughly check all 89 stand-alone programs in the GNU COREUTILS utility suite, which form the core user-level environment installed on millions of Unix systems, and arguably are the single most ...

متن کامل

KLEE: A Framework for Distributed Top-k Query Algorithms

This paper addresses the efficient processing of top-k queries in wide-area distributed data repositories where the index lists for the attribute values (or text terms) of a query are distributed across a number of data peers and the computational costs include network latency, bandwidth consumption, and local peer work. We present KLEE, a novel algorithmic framework for distributed top-k queri...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016